bitkeeper revision 1.1177.1.2 (420c989dC_Rdny3XsEcgT2zNba3g6w)

Update ignores list.

diff --git a/BitKeeper/etc/ignore b/BitKeeper/etc/ignore
index 6082e4f07e0e5d79e2c30566f716f2134acc3b41..a248c75b8c13470b509a30dda166cbd8196423b7 100644 (file)
--- a/BitKeeper/etc/ignore
+++ b/BitKeeper/etc/ignore
@@ -44,7 +44,8 @@ docs/user/internals.pl
 docs/user/labels.pl
 docs/user/user.css
 docs/user/user.html
-extras/mini-os/h/hypervisor-ifs
+extras/mini-os/h/xen-public
+extras/mini-os/mini-os.*
 install/*
 linux-*-xen0/*
 linux-*-xenU/*
@@ -91,7 +92,7 @@ xen/drivers/pci/gen-devlist
 xen/figlet/figlet
 xen/include/asm
 xen/include/asm-*/asm-offsets.h
-xen/include/hypervisor-ifs/arch
+xen/include/public/public
 xen/include/xen/*.new
 xen/include/xen/banner.h
 xen/include/xen/compile.h